军民融合产业内涵及范畴

发展军民融合产业是各级政府落实军民融合发展国家战略的重要抓手之一。针对军民融合产业界定不清等问题,从理论研究和实践工作层面梳理既有观点及演变趋势,形成对军民融合产业的客观认识。在此基础上,剖析军民融合产业的属性特征,从指导实践工作角度出发提出三种界定军民融合产业范畴及相关统计工作的合理化思路,并提出建立两级联动工作机制、开展国家工业基础中国防科研生产能力普查工作、试点开展军民融合产业分类标准及指标体系建设工作、加强军民融合产业统计数据质量监测等政策建议。     

非会计专业《财务会计》课程的教学特点与教学组织方法研究

《财务会计》是高等院校经济、管理类专业的核心基础课程，在非会计专业学生知识结构中发挥着越来越重要的作用。本文旨在分析非会计专业学生《财务会计》课程的教学特点，探索其教学组织方法，以帮助学生更好地掌握该课程的主要内容，实现教学目标。     

高校大学生养成教育初探

针对当前高校学生,由于在中小学阶段,学校受应试教育,片面追求升学率的影响而导致的道德水准下降趋势,以及在行为规范方面存在的诸多缺乏和弱点,阐明实施养成教育的重要性和必然性,以及实施养成教育的途径和方法。     

防火涂料性能要求及测试方法探讨

介绍了饰面型防火涂料、电缆防火涂料、钢结构防火涂料以及混凝土防火涂料的理化性能要求及防火性能要求。重点阐述了这些防火涂料防火性能的测试方法。     

基于扩展标记变迁模型的时钟同步协议正确性验证

时钟同步协议是时间触发网络的一个重要组成部分，是时间触发网络实时性和确定性的关键。本文基于扩展标记变迁模型对时钟同步协议进行建模，基于模型检测方法对协议是否满足正确性属性进行验证。验证结果证明了在不同启动场景下时钟同步网络协议的正确性，也表明了扩展标记变迁模型对于协议验证的有效性。     

Analysis of a machine repair problem with an unreliable server and phase type repairs and services

In this paper we study a machine repair problem in which a single unreliable server maintains N identical machines. The breakdown times of the machines are assumed to follow an exponential distribution. The server is subject to failure and the failure times are exponentially distributed. The repair times of the machine and the service times of the repairman are assumed to be of phase type. Using matrix‐analytic methods, we perform steady state analysis of this model. The time spent by a failed machine in service and the total time in the repair facility are shown to be of phase type. Several performance measures are evaluated. An optimization problem to determine the number of machines to be assigned to the server that will maximize the expected total profit per unit time is discussed. An illustrative numerical example is presented. © 2003 Wiley Periodicals, Inc. Naval Research Logistics 50: 462–480, 2003     

评估飞控系统的风洞虚拟飞行试验系统与关键技术

为向开展具体的风洞虚拟飞行试验技术提供引导,针对应用于飞控系统评估的风洞虚拟飞行试验系统及关键技术进行了分析。基于传统意义上的飞控系统评估方法的不足,分析风洞虚拟飞行试验应用于飞控系统评估的优势;按飞控系统常用的姿态控制回路及制导控制回路的组成形式,介绍风洞虚拟飞行试验系统方案与工作原理,详细分析它与半实物仿真系统的差异;分析风洞虚拟飞行试验应用于飞控系统评估需解决的关键技术问题,包括风洞虚拟飞行试验评估方法、飞行器模型设计技术、飞控系统改进技术及模型支撑技术。     

网络作战能力评估研究

近年来,国内外学者对网络作战能力评估问题进行了大量深入的研究,并取得了很多重要成果,但是缺乏对该领域研究现状的归纳与总结。网络作战能力评估主要涉及指标体系构建、指标权重确定以及评估方法的选择,归纳了3种网络作战能力评估指标体系构建方法及划分角度,并进行对比分析;梳理了3种评估指标权重确定方法,并对其特点进行总结;介绍了几种常见网络作战能力评估方法。为组织网络作战能力评估提供一定的借鉴和参考。     

基于混沌理论的水声信号辨识方法

讨论了目前混沌信号的分析方法,并提出了混沌在水声信号辨识中的应用方法。按照给出的方法,很可能能够解决水下目标自动识别中的许多难题     

时态逻辑形式化描述并发系统性质

时态逻辑是一种描述反应式(并发)系统中状态迁移序列的形式化方法,用于刻画并发系统所需验证的性质,是模型检测的基础.阐述了时态逻辑CTL 及其子逻辑CTL、LTL的语法及语义,然后分析运用时态逻辑描述并发系统性质,最后给出一个应用实例.